- GNU Mach
- GNU Mach es el microkernel oficial del Proyecto GNU. Como cualquier otro microkernel, su función principal es realizar labores mínimas de administración sobre el hardware para que el grueso del sistema operativo sea operado desde el espacio del usuario. En la actualidad el GNU Mach sólo funciona en máquinas de arquitectura intel de 32 bits (IA32) y su uso más popular es servir de soporte a Hurd, el proyecto que pretende reemplazar a los kernel tipo Unix en los sistemas operativos libres del GNU. Sin embargo, desde el año 2002 los esfuerzos de la Fundación del Software Libre se encaminan hacia la adopción del OSKit Mach como microkernel oficial.
Enciclopedia Universal. 2012.